Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
261	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
262	IFSA Newsletter Vol. 9, No. 3, September 2012 page In this issue: Message from IFSA Newsletter Editor – Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:48 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Fuzzy set Lotfi A. Zadeh Vladik Kreinovich
263	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
264	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
265	Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Automated theorem proving Logic in computer science Proof assistants Logic for Computable Functions E theorem prover HOL Robin Milner Interactive Theorem Proving Type theory
266	Syllabus for CSCI001 Inference, Models and Simulation for Complex Systems Fall 2011 Lectures: Tuesdays and Thursdays from 11:00am – 12:15pm in ECCR 131 Lecturer: Aaron Clauset Office: Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-08-22 11:54:58 Formal sciences Econometrics Algorithm Mathematical logic Theoretical computer science Statistics Regression analysis
267	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
268	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
269	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
270	Adaptive Runtime Verification Radu Grosu Vienna University of Technology in collaboration with: Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-18 06:21:54 Logic in computer science Runtime verification Succ Smolka

UPDATE